大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

0
索取号：
作者：Abdallah、 Ali E.、Jones、 Cliff B.、Sanders、 Jeff W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ambient Intelligence for Scientific Discovery [electronic resource] : Foundations, Theories, and Systems

0
索取号：
作者：Cai、 Yang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Argumentation in Multi-Agent Systems [electronic resource] : First International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Rahwan、 Iyad.、Mora茂tis、 Pavlos.、Reed、 Chris.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Programming Multi-Agent Systems [electronic resource] : Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

0
索取号：
作者：Bordini、 Rafael H.、Dastani、 Mehdi.、Dix、 J眉rgen.、Fallah Seghrouchni、 Amal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Environments for Multi-Agent Systems [electronic resource] : First International Workshop, E4MAS 2004, New York, NY, July 19, 2004, Revised Selected Papers

0
索取号：
作者：Weyns、 Danny.、Dyke Parunak、 H.、Michel、 Fabien.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Agent Communication [electronic resource] : International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Eijk、 Rogier M.、Huget、 Marc-Philippe.、Dignum、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Mechanizing Mathematical Reasoning [electronic resource] : Essays in Honor of J枚rg H. Siekmann on the Occasion of His 60th Birthday

0
索取号：
作者：Hutter、 Dieter.、Stephan、 Werner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Grid Computing in Life Science [electronic resource] : First International Workshop on Life Science Grid, LSGRID 2004, Kanazawa, Japan, May 31-June 1, 2004, Revised Selected and Invited Papers

0
索取号：
作者：Konagaya、 Akihiko.、Satou、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Computer Science-ASIAN 2005. Data Management on the Web [electronic resource] : 10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005. Proceedings

0
索取号：
作者：Grumbach、 St茅phane.、Sui、 Liying.、Vianu、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005. Proceedings

0
索取号：
作者：Jin、 Hai.、Reed、 Daniel.、Jiang、 Wenbin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Stochastic Algorithms: Foundations and Applications [electronic resource] : Third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005. Proceedings

0
索取号：
作者：Lupanov、 Oleg B.、Kasim-Zade、 Oktay M.、Chaskin、 Alexander V.、Steinh枚fel、 Kathleen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Ambient Networks [electronic resource] : 16th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2005, Barcelona, Spain, October 24-26, 2005. Proceedings

0
索取号：
作者：Sch枚nw盲lder、 J眉rgen.、Serrat、 Joan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Multi-Agent and Multi-Agent-Based Simulation [electronic resource] : Joint Workshop MABS 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

0
索取号：
作者：Davidsson、 Paul.、Logan、 Brian.、Takadama、 Keiki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Adaptive Multimedia Retrieval: User, Context, and Feedback [electronic resource] : Third International Workshop, AMR 2005, Glasgow, UK, July 28-29, 2005, Revised Selected Papers

0
索取号：
作者：Detyniecki、 Marcin.、Jose、 Joemon M.、N眉rnberger、 Andreas.、Rijsbergen、 C. J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advanced Information Systems Engineering [electronic resource] : 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005. Proceedings

0
索取号：
作者：Pastor、 Oscar.、Falc茫o e Cunha、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Operations and Management in IP-Based Networks [electronic resource] : 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005. Proceedings

0
索取号：
作者：Magedanz、 Thomas.、Madeira、 Edmundo R. M.、Dini、 Petre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.